Nuprl Definition : pair def 13,42
<a, b> is Primitive 
latex

Upcore 1, core 1

origin